Social Programs and Formal Employment

Effects of Colombia’s Social Protection System on Workers’ Choice between Formal and Informal Employment∗

We examine whether the Colombian government’s expansion of publicly provided health insurance in the early nineties created incentives for people to become informal. Using variation in the onset of the Census of the Poor across municipalities and over time, we find robust and consistent estimates of an increase in informal employment between 2 and 5 percentage points after the expansion. As rob...

Formal polytypic programs and proofs

The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic programming in the proof assistant Coq and provide an infrastructure for polytypic proofs. Polytypic functions are reified within Coq as a datatype and they can then be specialized by applying a dependently typed term speci...

Formal Verification of Programs

It is argued that formal verification ofThis paper introduced weakest preconditions.programs, no matter how obtained, will not play the same key role in the development of computer sci-Dijkstra76ence and software engineering as proofs do inDijkstra, E. W. A Discipline of Programming.mathematics. Furthermore the absence of continuity, the inevitability of change, and the ...

Outlook Toward Equity and Employment An Employment - Centered Social Policy ◆

Robert Haveman is John Bascom Professor of Economics and Public Affairs at the University of Wisconsin-Madison and former director of the La Follette Institute of Public Affairs. On leave for the academic year 1996-97 at the Netherlands Institute of Advanced Study, Professor Haveman was engaged in research on issues of human capital utilization and the determinants of children's attainments. Th...

Programs Promoting Young Women’s Employment: What Works